CatDat

Implication Details

Assumptions: initial objectself-dual

Conclusions: terminal object

Reason: This holds by self-duality.